Formal Checklists for Remote Agent Dependability
نویسندگان
چکیده
منابع مشابه
Formal Checklists for Remote Agent Dependability
Remote agents used in Deep Space Missions such as rovers or solar airplanes must function autonomously over a prolonged time during planetary exploration. The Mission Data System (MDS) framework has been developed to address design and deployment of these complex systems. We are using the Maude environment to develop a formal framework with methods and supporting tools for increasing the depend...
متن کاملA Formal Basis for Some Dependability Notions
This paper shows how formal methods ideas can be used to clarify basic notions used in the field of dependability. Central to this endeavour is fixing a notion of system. Relationships between systems are also considered: in particular, the importance of the situation where one system is generated by another (possibly human) system is explored. The formalisation is used as a basis for definitio...
متن کاملFormal Dependability Engineering with MIOA
In this paper, we introduce MIOA, a stochastic process algebralike specification language with datatypes, as well as a logic intSPDL, and its model checking algorithms. MIOA which stands for Markovian input/output automata language, is an extension of Lynch’s input/automata with Markovian timed transitions. MIOA can serve both as a fully fledged “stand-alone” specification language and the sema...
متن کاملFormal Analysis of the Remote Agent Before and After Flight
This paper describes two separate efforts that used the SPIN model checker to verify deep space autonomy flight software. The first effort occurred at the beginning of a spiral development process and found five concurrency errors early in the design cycle that the developers acknowledge would not have been found through testing. This effort required a substantial manual modeling effort involvi...
متن کاملFormal Dependability Modeling and Analysis: A Survey
Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, confidentiality, and integrity. Various dependability modeling techniques have been developed to effectively capture the failure characteristics of systems over time. Traditionally, dependability models are analyzed using paper-and-pencil proof met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2005
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.06.021